TarTar: A Timed Automata Repair Tool

We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies.Comment: 15 pages, 7 figure

Discussion of "Evidence-based health informatics:how do we know what we know?"

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Evidence-based Health Informatics: How Do We Know What We Know?" written by Elske Ammenwerth [1]. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Ammenwerth paper. In subsequent issues the discussion can continue through letters to the editor. With these comments on the paper "Evidence-based Health Informatics: How do we know what we know?", written by Elske Ammenwerth [1], the journal seeks to stimulate a broad discussion on the challenges of evaluating information processing and information technology in health care. An international group of experts has been invited by the editor of Methods to comment on this paper. Each of the invited commentaries forms one section of this paper.11 page(s

Effects of chronic exercise on severity, quality of life and functionality in an elderly Parkinson’s disease patient: case report

Exercise produces potential influences on physical and mental capacity in patients with neuropsychiatric disor- ders, and can be made a viable form of therapy to treat Parkinson’s disease (PD). We report the chronic effects of a regu- lar physical exercise protocol on cognitive and motor functions, functional capacity, and symptoms in an elderly PD pa- tient without dementia. The patient participated of a program composed of proprioceptive, aerobic and flexibility exer- cises, during 1 hour, three days a week, for nine months. Patient used 600 mg of L-DOPA daily, and 1 hour prior to each exercise session. Assessment was conducted in three stages, 0-3, 3-6 and 6 to 9 months, using percentual variation to the scales Hoehn and Yahr, Mini-Mental State Examination (MMSE), Parkinson Activity Scale (PAS), Beck Depression In- ventory (BDI), and Unified Parkinson's Disease Rating Scale (UPDRS-III). Reassessment showed clear changes in clini- cal parameters for Hoehn and Yahr (4 to 2.5), MMSE (14 to 22), PAS (13 to 29), BDI (9 to 7) and UPDRS-III (39 to 27) at the end of 9 months. According to our data, exercise seems to be effective in promoting the functional capacity and the maintenance of cognitive and motor functions of PD patients. Regular exercise protocols can be implemented as an ad- junctive treatment for reducing the severity of PD

Genome-culture coevolution promotes rapid divergence of killer whale ecotypes.

Analysing population genomic data from killer whale ecotypes, which we estimate have globally radiated within less than 250,000 years, we show that genetic structuring including the segregation of potentially functional alleles is associated with socially inherited ecological niche. Reconstruction of ancestral demographic history revealed bottlenecks during founder events, likely promoting ecological divergence and genetic drift resulting in a wide range of genome-wide differentiation between pairs of allopatric and sympatric ecotypes. Functional enrichment analyses provided evidence for regional genomic divergence associated with habitat, dietary preferences and post-zygotic reproductive isolation. Our findings are consistent with expansion of small founder groups into novel niches by an initial plastic behavioural response, perpetuated by social learning imposing an altered natural selection regime. The study constitutes an important step towards an understanding of the complex interaction between demographic history, culture, ecological adaptation and evolution at the genomic level

Characterization of miRNA processing machinery in the embryonic chick lung

Lung development is a very complex process that relies on the interaction of several signaling pathways that are controlled by precise regulatory mechanisms. Recently, microRNAs (miRNAs), small non-coding regulatory RNAs, have emerged as new players involved in gene expression regulation controlling several biological processes, such as cellular differentiation, apoptosis and organogenesis, in both developmental and disease processes. Failure to correctly express some specific miRNAs or a component of their biosynthetic machinery during embryonic development is disastrous, resulting in severe abnormalities. Several miRNAs have already been identified as modulators of lung development. Regarding the spatial distribution of the processing machinery of miRNAs, only two of its members (dicer1 and argonaute) have been characterized. The present work characterizes the expression pattern of drosha, dgcr8, exportin-5 and dicer1 in early stages of the embryonic chick lung by whole mount in situ hybridization and cross-section analysis. Overall, these genes are co-expressed in dorsal and distal mesenchyme and also in growing epithelial regions. The expression pattern of miRNA processing machinery supports the previously recognized regulatory role of this mechanism in epithelial and mesenchymal morphogenesis.QRE

Drivers of population structure of the bottlenose dolphin (Tursiops truncatus) in the Eastern Mediterranean Sea

The drivers of population differentiation in oceanic high dispersal organisms, have been crucial for research in evolutionary biology. Adaptation to different environments is commonly invoked as a driver of differentiation in the oceans, in alternative to geographic isolation. In this study, we investigate the population structure and phylogeography of the bottlenose dolphin (Tursiops truncatus) in the Mediterranean Sea, using microsatellite loci and the entire mtDNA control region. By further comparing the Mediterranean populations with the well described Atlantic populations, we addressed the following hypotheses: (1) bottlenose dolphins show population structure within the environmentally complex Eastern Mediterranean Sea; (2) population structure was gained locally or otherwise results from chance distribution of preexisting genetic structure; (3) strong demographic variations within the Mediterranean basin have affected genetic variation sufficiently to bias detected patterns of population structure. Our results suggest that bottlenose dolphin exhibits population structures that correspond well to the main Mediterranean oceanographic basins. Furthermore, we found evidence for fine scale population division within the Adriatic and the Levantine seas. We further describe for the first time, a distinction between populations inhabiting pelagic and coastal regions within the Mediterranean. Phylogeographic analysis suggests that current genetic structure, results mostly from stochastic distribution of Atlantic genetic variation, during a recent postglacial expansion. Comparison with Atlantic mtDNA haplotypes, further suggest the existence of a metapopulation across North Atlantic/Mediterranean, with pelagic regions acting as source for coastal environments

Cytogenomic assessment of the diagnosis of 93 patients with developmental delay and multiple congenital abnormalities: The Brazilian experience

OBJECTIVE: The human genome contains several types of variations, such as copy number variations, that can generate specific clinical abnormalities. Different techniques are used to detect these changes, and obtaining an unequivocal diagnosis is important to understand the physiopathology of the diseases. The objective of this study was to assess the diagnostic capacity of multiplex ligation-dependent probe amplification and array techniques for etiologic diagnosis of syndromic patients. METHODS: We analyzed 93 patients with developmental delay and multiple congenital abnormalities using multiplex ligation-dependent probe amplifications and arrays. RESULTS: Multiplex ligation-dependent probe amplification using different kits revealed several changes in approximately 33.3% of patients. The use of arrays with different platforms showed an approximately 53.75% detection rate for at least one pathogenic change and a 46.25% detection rate for patients with benign changes. A concomitant assessment of the two techniques showed an approximately 97.8% rate of concordance, although the results were not the same in all cases. In contrast with the array results, the MLPA technique detected ∼70.6% of pathogenic changes. CONCLUSION: The obtained results corroborated data reported in the literature, but the overall detection rate was higher than the rates previously reported, due in part to the criteria used to select patients. Although arrays are the most efficient tool for diagnosis, they are not always suitable as a first-line diagnostic approach because of their high cost for large-scale use in developing countries. Thus, clinical and laboratory interactions with skilled technicians are required to target patients for the most effective and beneficial molecular diagnosis

Morquio-like dysostosis multiplex presenting with neuronopathic features is a distinct GLB1-related phenotype

Background Morquio B disease (MBD) is a distinct GLB1-related dysostosis multiplex presenting a mild phenocopy of GALNS-related Morquio A disease. Previously reported cases from European countries carry the W273L variant on at least one GLB1 allele and exhibit a pure skeletal phenotype (pure MBD). Only a minority of MBD cases have been described with additional neuronopathic findings (MBD plus). Objectives and Methods With the aim to further describe patterns of MBD-related dysostosis multiplex, we analyzed clinical, biochemical, and genetic features in 17 cases with GLB1-related dysostosis multiplex living and diagnosed in Brazil. Results About 14 of the 17 individuals had three or more skeletal findings characteristic of Morquio syndrome. Two had no additional neuronopathic features (pure MBD) and 12 exhibited additional neuronopathic features (MBD plus). Three of the 17 cases had mild dysostosis without distinct features of MBD. Seven of the 12 MBD plus patients had signs of spinal cord compression (SCC), as a result of progressive spinal vertebral dysostosis. There was an age-dependent increase in the number of skeletal findings and in the severity of growth impairment. GLB1 mutation analysis was completed in 10 of the 14 MBD patients. T500A occurred in compound heterozygosity in 8 of the 19 alleles. Conclusion Our study extends the phenotypic spectrum of GLB1-related conditions by describing a cohort of patients with MBD and GM1-gangliosidosis (MBD plus). Targeting the progressive nature of the skeletal manifestations in the development of new therapies for GLB1-related conditions is warranted